Catheter ablation to treat paroxysmal atrial fibrillation